This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on ...
اقرأ المزيدThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيدThis book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE ...
اقرأ المزيدThe theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
اقرأ المزيدThis book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...
اقرأ المزيدEmbedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
اقرأ المزيدCBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
اقرأ المزيدThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
اقرأ المزيدThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
اقرأ المزيدThe conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
اقرأ المزيد